The capacity to attribute beliefs to others in order to understand action is one of the mainstays of human cognition. Yet it is debatable whether children attribute beliefs in the same way to all agents. In this paper, we present the results of a false-belief task concerning humans and God run with a sample of Maya children aged 4–7, and place them in the context of several psychological theories of cognitive development. Children were found to attribute beliefs in different ways (...) to humans and God. The evidence also speaks to the debate concerning the universality and uniformity of the development of folk-psychological reasoning. (shrink)

In this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed in Kohlenbach , Oxford University Press, Oxford, 1996, pp. 225–260) to analyze Cheney's simplification 189) of Jackson's original proof 320) of the uniqueness of the best L1-approximation of continuous functions fC[0,1] by polynomials pPn of degree n. Cheney's (...) proof is non-effective in the sense that it is based on classical logic and on the non-computational principle WKL . The result of our analysis provides the first effective uniform modulus of uniqueness . Moreover, the extracted modulus has the optimal ε-dependency as follows from Kroó 331). The paper also describes how the uniform modulus of uniqueness can be used to compute the best L1-approximations of a fixed fC[0,1] with arbitrary precision. The second author uses this result to give a complexity upper bound on the computation of the best L1-approximation in Oliva 66–77). (shrink)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...) new interpretation to theories of classical arithmetic and analysis. (shrink)

The exchange of goods and services between individuals is often formalised by a contract in which the parties establish norms to define what is expected of each one. Norms use deontic statements of obligation, prohibition, and permission, which may be in conflict. The task of manually detecting norm conflicts can be time–consuming and error-prone since contracts can be vast and complex. To automate such tasks, we develop an approach to identify potential conflicts between norms. We show the effectiveness of our (...) approach and its individual components empirically using two publicly available corpora, and contribute with a new annotated test corpus for norm conflict identification. (shrink)

In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.

This article provides a critical reading of the ‘Parecer CNE-CES 60, de 2014’, from the Ministry of education, Brazil, which defines the curriculum guidelines for courses of Baccalaureate in Theology. In its first section it discusses the theoretical background of the ‘Parecer’, questioning its illuminist orientation, as well as its pedagogical theory focused on contents and not on the students activities. It aims to show that are two opposed educational paradigms in the ‘Parecer’, the illuminist and the constructivist, although the (...) illuminist is the dominant one. It also question the view of the theologian present in the ‘Parecer’, marked by significant absences from the professional field of religious work. In the second section, the article presents a sample of particular interpretation of the ‘Parecer’, indicating the guidelines of a curriculum based on the constructivist paradigm. It dedicates special attention to the occult dimension of the curriculum and to an articulation of the student’s activities in relationship to the disciplines of the course. (shrink)

resumo: Há uma solidariedade entre o estilo do L'Individuation à la Lumière des Notions de Forme et d'Information e os princípios teóricos que a obra toma como ponto de partida para sua investigação dos diversos processos de individuação. Essa solidariedade torna o estilo da obra um programa filosófico que responde a demandas precisas quanto ao papel das ciências da natureza, das ciências humanas e da técnica, sua classificação, sua história e sua consistência teórica, demandas que pretendemos especificar no artigo. Ao (...) mesmo tempo esse programa de Simondon requer que o autor recolha os princípios teóricos de sua análise em um corpo teórico cujas linhas gerais desenham a fisonomia de toda uma filosofia, de caráter peculiar. É isso o que justifica, e até mesmo exige, que Simondon tome por objeto o problema da individuação nos termos em que o faz, e que possa apresentar essa aproximação do problema como uma crítica cujo valor é ele mesmo filosófico: uma resposta peculiar ao positivismo, ao pragmatismo, ao estruturalismo e, sobretudo, às formas de compreensão das ciências e das técnicas que era hegemônica no final dos anos 50, no ambiente intelectual francês. abstract: There is a strict allegiance between the style present in L'Individuation à la Lumière des Notions de Forme et d'Information and the theoretical principles by which this work inquires the diverse individuation processes. That allegiance makes this style a whole investigation program on the role of natural sciences, humanities and technology in general, their classification, history and theoretical nature. The clauses of that investigation will be shown in its general lines by the paper itself. But the point is that, at the same time, this investigation program requires the specific theoretical principles adopted by Simondon in this work as a theory and in its development as a complete philosophy. Indeed this is the reason why Simondon takes the problem about individuation processes as the focus of his discussions. Such discussions offer a critique whose value is itself philosophical. That strategy results in a peculiar response to positivism, pragmatism, structuralism and the hegemonic way of thinking about sciences and techniques in the French fifties. (shrink)

O presente estudo revisa o conceito de performatividade desenvolvido nos estudos de Austin e Benveniste, e está dividido em três partes: a primeira é uma síntese crítica das contribuições desses autores, em que se enfatiza os pontos de concordância e discordância entre eles, e os aspectos problemáticos de seus respectivos pontos de vista; a segunda é uma releitura das conceituações, estruturações e problematizações apresentadas pelos autores, e uma proposta própria de compreensão da enunciação e da performance a partir das ideias (...) de diálogo e modalização dialógica; a última corresponde à aplicação dessa proposta teórica ao ritual do sacramento do matrimônio. Na proposta teórica aqui apresentada, a enunciação é considerada como uma relação contratual entre os interlocutores, em que o enunciado figura como seu objeto, e a performatividade, isto é, a caracterização daquela como enunciação-ação, é compreendida como um tipo específico de modalização, denominada entrelocutiva, que se caracteriza pela aposição de um segundo objeto entre os interlocutores, imbricado e comunicado pelo primeiro: o entreposto. O discurso da cerimônia nupcial, por sua vez, é caracterizado pela prolocução, isto é, pela cisão do locutor/enunciador em um Eu-mandante (Eu-Outro) e um Eu-procurador (Eu-Mesmo), e pela translocução, isto é, pela justaposição do alocutário (Tu) e do delocutário (Ele) na posição de enunciatário. (shrink)

Como o solipsismo metodológico, recusando tanto o "pós-modernismo relativista", o "neo-iluminismo" e qualquer espécie de fundacionismo, pode estabelecer um núcleo de verdades imunes ao ceticismo radical? A supra-conjecturalidade deste solipsismo é o expediente metodológico que baliza as escolhas neste âmbito mais amplo que é o da conjecturalidade. Se neste território a falibilidade é sempre possível, também é nele que se encontra a única racionalidade que somos capazes de constituir. E também as melhores teorias capazes de dar conta de nossas experiências.

Num diálogo entre a Teoria Constitucional e a Filosofia Jurídica, O Ponto de Arquimedes procura levantar eternas interrogações sobre a fundamentação e a legitimação do Direito. Num tempo de consenso aparente e por vezes hipócrita em torno dos Direitos Humanos, o desafio é o de saber quais as suas raízes- a simples vontade do poder, sempre reversível, ou o Direito Natural e a própria natureza do Homem? A indagação sobre o ponto de apoio do Arquimedes jurídico, longe de ser supérflua (...) especulação, constitui, ao invés, a pedra angular de todo o edifício do Direito, o fulcro onde assenta a alavanca movente de todo o pensar e agir da juridicidade. Consagrando-se especialmente ao Direito Constitucional e à Filosofia do Direito, Paulo Ferreira da Cunha é professor universitário, agregado em Direito - Ciências Jurídicas Públicas (Univ. Minho), doutor em Direito - Ciências Jurídico-Políticas (Univ. Coimbra), e doutor em Direito - História/Filosofia do Direito (Univ. Paris II). ÍNDICE GERAL Introdução- O Ponto de Arquimedes PARTE PRIMEIRA - Natureza Humana e Direito Natural Secção I- Em demanda da Natureza Humana Secção II- Direito Natural e Jusnaturalismo Secção III- Deveres, Direitos, Valores. Do Conteúdo do Direito Natural PARTE SEGUNDA - Direito e Direitos Humanos Secção I- Para além do Mito do Direito Secção II- Para uma Não Definição de Direito Secção III- O Paradigma Direitos Humanos Secção IV- Dos Valores aos Direitos Bibliografia Geral Índice Analítico. (shrink)

We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with our interpretation in the case when least elements exist . The new interpretation, however, permits the extraction of more accurate bounds, and provides an ideal setting for dealing directly with data types whose natural ordering is not well-founded.

Berichte zur Wissenschaftsgeschichte, EarlyView.

O artigo investiga a pertinência dos discursos religiosos para a construção da sociedade democrática. A contemporaneidade filosófica tem observado que as religiões podem contribuir para a realização do objetivo de fraternidade e solidariedade entre os cidadãos com distintas orientações axiológicas. A teoria do discurso de Jürgen Habermas analisa que as sociedades contemporâneas estão vivenciando o processo de pós-secularização e o ressurgimento das religiões na esfera pública. O filósofo alemão considera que as instituições religiosas têm o conteúdo normativo e a legitimidade (...) que está ausente nas instituições políticas e nos atores políticos. As religiões mundiais se caracterizam pelas ações sociais e o incentivo à solidariedade aos seus fiéis. No nível pós-metafísico de fundamentação da forma política, os discursos religiosos podem motivar os cidadãos para a atitude comunicativa e o entendimento sobre as normas sociais que deverão reger a sociedade justa e inclusiva. Nesse sentido, a experiência de auto-esclarecimento das religiões sobre as suas doutrinas e princípios de fé poderá colaborar para o entendimento entre os cidadãos religiosos e não-religiosos. Por fim, a análise da experiência católica de autorreflexão sobre suas doutrinas e o relacionamento com as diversas religiões se tornou o exemplo de diálogo para as entidades religiosas no mundo secular. (shrink)

A filosofia política de Philip Pettit realiza a leitura normativa da matriz republicana de pensamento político. Na sua construção historiográfica e normativa do significado do republicanismo é reafirmada a centralidade da liberdade como não-dominação. Pettit mantém o intuito de releitura da cidadania republicana como sendo inclusivista e que possui o cunho de realidade política em sua notória preocupação com a condição social dos cidadãos. O republicanismo apregoa que a liberdade como não-dominação é o princípio necessário para avaliação de qualquer organização (...) social e política. Esse princípio não se constitui como valor apriorístico da teoria política porque as relações não-dominadas serão compreendidas em suas diferentes formas e contextos. No âmbito social, ela exigirá que as relações entre indivíduos sejam justas e que não haja motivo para que se tenha medo ou deferência perante as diferenças econômicas ou sociais. A liberdade como não-dominação poderá oferecer os recursos sociais necessários para que não se tenha as relações assimétricas de capacidade de influência e escolha na sociedade política. No âmbito político, a liberdade republicana será representada pela capacidade dos cidadãos de influenciar e direcionar as decisões dos representantes políticos. Por isso, iremos abordar os elementos políticos necessários para a contenção da dominação pública. No âmbito político democrático, a oportunidade de participação política, a discussão das desvantagens sociais e políticas e as formas de contenção da dominação pública serão mecanismos para a diminuição da dominação pública. O exercício da contestação e o controle popular podem ser os mecanismos políticos para a saída da forma minimalista de compreender a ação política como realização das preferências individuais e significa a possibilidade de realização do ideal de bem comum pelo procedimento discursivo de formação da opinião e da vontade política. O debate e a contestação se constituem como o ambiente para o entendimento sobre as normas comuns que alicerçam a comunidade política. Nesse sentido, o modelo republicano de democracia prioriza o exercício dos direitos básicos políticos como sendo a ferramenta para a formação da vontade política. Além disso, ele salienta a atitude contestatória dos cidadãos perante as formas injustificadas de desigualdades de tratamento. A democracia republicana possibilita o compartilhamento dos direitos políticos entre os cidadãos e incentiva que eles exerçam o controle popular sobre as decisões governamentais. Palavras-chave: Republicanismo. Democracia. Contestação. Philip Pettit. (shrink)

O objetivo deste artigo é apresentar uma visão crítica da democracia contemporânea. Acontecimentos atuais demonstram a vigênciade nuances características do autoritarismoque corrói as bases da democracia. Permanecerá como pano de fundo deste artigo o seguinte questionamento: a defesa da democracia e do direito é suficiente para assegurar os direitos humanos, ainda mais profundamente, para garantir a vida de todos/as? Para responder a essa questão dar-se-á destaque a três aspectos: de que há vidas matáveis; de que há relação perversa entre democracia (...) e autoritarismo e de que o estado de exceção está vigente. A civilização e a barbárie, a democracia e o autoritarismo, a justiça e a violência, já não constituem contraditórios, parecem estar vinculados ao sabor dos interesses e das salvaguardas dos que herdam o triunfo do progresso e já não desenvolvem sequer empatia ou tolerância com o que e os/as que, os/as quem, se lhes opuserem. (shrink)

The role of imagination in Descartes. The critic of Sartre to the concept of image in Descartes.

O presente texto propõe-se discutir o suposto caráter abstrato da chamada democracia deliberativa, tomando como base a ética discursiva e a teoria da ação comunicativa. Se, por um lado, a democracia deliberativa não pretende ser mais que um modelo teórico para orientar as discussões em torno da democracia, por outro, alguns de seus enunciados podem e são efetivamente incorporados à prática política das sociedades democráticas contemporâneas. A questão aqui é saber o quanto de concreto e propositivo se pode encontrar especialmente (...) nas proposições de Habermas a respeito da democracia deliberativa. This paper proposes to discuss, based on discourse ethics and communicative action theory, the supposed abstract character of deliberative democracy. If on the one hand deliberative democracy does not intend to be more than a theoretical model to guide discussions on democracy, on the other hand some of its ideas and can be, and are being, effectively incorporated into the political practice of contemporary democratic societies. The question here is one of knowing how much of the concrete and relevant can be found in Habermas' proposals regarding deliberative democracy. (shrink)

Resumo: Os cuidados paliativos representam a escolha compartilhada, entre o profissional de saúde e o paciente, com a finalidade de preservar a dignidade do paciente quando a terapia medicamentosa e as intervenções cirúrgicas não são benéficas ao tratamento de saúde. Essa perspectiva de acompanhamento médico resgata o cuidado ético de atenção e valorização da biografia da pessoa. O aspecto ético, a partir da ética do cuidado e da ética deontológica, reflete na relação entre os profissionais de saúde e o paciente (...) com o objetivo de oferecer as condições de manutenção da autonomia e da dignidade. A bioética enfatiza o cuidado centrado nas escolhas do paciente. Ela evita a obstinação em prolon- gar o tratamento médico, a menos que haja uma melhora no estado clínico do paciente. Essa dialética conceitual entre a ética e a bioética tem o propósito de garantir o bem-estar ao paciente em cuidados paliativos. Palavras-chave: Cuidados paliativos. Ética. Bioética. Ética do cuidado. Ética deontológica. (shrink)

Misinformation, disinformation, or fake news pose a new societal challenge. Through Kantian philosophy, we postulate this as an ethical challenge, one driven by social forces that shape social media’s use towards unethical knowledge production. However, automated or intelligent technologies can also be a solution in acting as a polygraph on social media platforms. We propose such technology could be ethical-by-design if we bring moral philosophy into a software architecture. Kant’s philosophical formalism is well-aligned with computing logic, especially blockchain applications. However, (...) we must also remain highly vigilant to the conceptual complexities, the existing critiques on Kantian ethics and deontology, and the general approach of imbuing moral thinking into a machine-especially if based on only one, rather hard-lined philosophy. While the principled nature of Kant’s propositions make for a suitable architecture, it poses in itself critical ethical concerns and considerations. (shrink)

There is considerable evidence that animals can time multiple intervals that occur separately or concurrently. Such simultaneous temporal processing occurs both in temporal discrimination procedures and in classical conditioning procedures. The first part of the chapter will consist of the review of the evidence for simultaneous temporal processing, and the conditions under which the different intervals have influences on each other. The second part of the chapter will be a brief description of two timing theories: Scalar Timing Theory and a (...) Packet Theory of Timing. Scalar Timing Theory consists of a pacemaker-switch-accumulator system that serves as a clock, a memory that consists of examples of previously reinforced intervals, and a decision process that involves a comparison of ratios to a criterion; the Packet Theory of Timing consists of a conditional expected time function that serves as a clock, a memory that consists of weighted sums of these values, and a probabilistic decision process that produces packets of responses. Both of these theories will be applied to an example of simultaneous temporal processing by rats, and will serve as the basis for some general comments about the basis for selecting and evaluating quantitative theories of timing. (shrink)

Neste artigo pretendo apresentar de forma introdutória o campo de investigação da Intencionalidade Coletiva. Entretanto, optei por concentrar a exposição em um tipo particular de explicação do fenômeno. Na primeira seção, apresento as dificuldades que motivam o desenvolvimento de teorias no campo da Intencionalidade Coletiva dentro da Filosofia da Ação. Na segunda seção, identifico a origem da linhagem teórica tratada com a explicação da noção de intenção compartilhada, uma interligação reflexiva dos estados mentais dos indivíduos envolvidos em uma ação coletiva, (...) desenvolvida por Michael Bratman. Na terceira seção, apresento a reforma proposta por Deborah Tollefsen para diminuir as demandas cognitivas exigidas pela proposta Bratman, tornando possível que crianças pequenas possam satisfazer as condições da teoria. Por fim, na quarta seção discuto a proposta de Olle Blomberg de uma intenção em ação socialmente estendida que objetiva explicar como seria possível incluir resultados das ações de outros indivíduos no conteúdo de uma intenção em ação individual. (shrink)

Resumo: Procurar analisar um conceito como o de Substância é, por si mesmo, entrar no coração da metafísica. Quando este conceito se situa no Corpus Aristotelicum a tarefa ganha outra dimensão pois implica uma leitura conjunta das suas obras principais, a saber, As Categorias e a Metafísica. Tal leitura conjunta levanta desde logo vários problemas: a autenticidade, a articulação entre os seus próprios livros, e sobretudo, a questão fundamental: se é possível fazer uma tal leitura. O propósito do nosso ensaio (...) é executar tal tarefa, levando-nos a efetuar uma desmontagem necessária e decisiva do conceito. A terminar, perceberemos como partir desta análise, o significado de substancia abriria para um modelo que persistiria durante séculos. (shrink)